Algebraic Specification of Abstract Data Types
نویسندگان
چکیده
Data Types,
منابع مشابه
Towards an Algebraic Semantics for Database Specification
In the framewerk of a modal-algebraic approach to database semantics, the specification of abstract object types on the basis of abstract data types is studied. As a semantic framewerk for determining admissible states and state sequences, a standard universe of "possible objects'' and their interrelationships has to be associated with a schema specification. This paper gives a construction of ...
متن کاملFeature graphs and abstract data types: a unifying approach
Feature graphs appearing in unification--based grammar formalisms and algebraic specifications of abstract data types (ADTs) are both used for defining a collection of objects together with functions between these object sets. Starting from this observation we define an algebraic semantics for feature graphs by assigning an algebraic specification to each feature graph. This opens the rich worl...
متن کاملGraphic Specification of Abstract Data Types
Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented gra...
متن کاملInductive-data-type systems
In a previous work (“Abstract Data Type Systems”, TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed λ-calculus enriched by pattern-matching definitions following a certain format, called the “General Schema”, which generalizes the usual recursor definitions for natural numbers and similar “basic inductive ...
متن کاملFrom Static to Dynamic Abstract Data-Types: An Institution Transformation
We show how to extend in a canonical way a given formalism for specifying (static) data types (like usual algebraic specification frameworks) with dynamic features. What we obtain in this way is a corresponding formalism for specifying dynamic data-types based on the " state-as-algebra " approach: a dynamic data-type models a dynamically evolving system in which any state can be viewed as a sta...
متن کامل